An extended day program
نویسندگان
چکیده
منابع مشابه
Extended ML : an institution - independent frameworkfor formal program
The Extended ML speciication language provides a framework for the formal stepwise development of modular programs in the Standard ML programming language from speciications. The object of this paper is to equip Extended ML with a semantics which is completely independent of the logical system used to write speciications, building on Goguen and Burstall's work on the notion of an institution as...
متن کاملAn Extended Conic Quadratic Program for Load Flow Control
Power flow solutions form the basis for computer-based steady-state network operation and planning. In modern power networks, accurate power flow computations need to account for models of controllable devices such as tap-changing transformers, phase shifters, and unified power flow controllers. This paper presents a new load flow control optimisation framework based on an extension of the coni...
متن کاملExtended Functional Unification ProGram mars
190 words Article: 4700 words New York, NY 10027 [email protected] Area of Submission: C1. natural language.
متن کاملIAEE European PhD-students Day Program
Modeling the optimal bid of wind power producers as price-makers is paramount for understanding the effect of their large-scale participation in electricity markets. We consider the problem of a wind power producer being a price-taker in the day-ahead market, but a price-maker in the balancing market, who aims at optimizing the expected revenues from these market floors. The problem is formulat...
متن کاملProgram of 2015 Dpd Workshop Day One
Smoothed Particle Hydrodynamics (SPH) is a Lagrangian method based on a meshless discretization of partial differential equations. I will present SPH discretization of the stochastic and deterministic Navier-Stokes and Advection-Diffusion-Reaction equations, implementation of various boundary conditions, and time integration of the SPH equations, and discuss applications of the SPH method for m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zbornik Instituta za pedagoska istrazivanja
سال: 2002
ISSN: 0579-6431,1820-9270
DOI: 10.2298/zipi0204112s